EU FP7 | OPEC | D6.3 | OPEC web data server| December 2014 OPerational ECology Ecosystem forecast products to enhance marine GMES applications

Source URL: marineopec.eu

• ISO/TC 211
• GIS software
• Web Coverage Service
• NetCDF
• Web portal
• Middleware
• Computing
• Web Feature Service
• Web Map Service
• Open Geospatial Consortium
• Geographic information systems
• Computer file formats

DARTMOOR ARTS PROJECT SUMMER SCHOOL 2015 BURSARY APPLICATION WE ACCEPT APPLICATIONS BY POST OR EMAIL Please complete, print and post this form to us at the address at the bottom of the page OR download to your computer,

Source URL: www.dartmoorarts.com

Deep Representations and Codes for Image Auto-Annotation Csaba Szepesv´ari Department of Computing Science University of Alberta Edmonton, AB, Canada

Source URL: www.cs.toronto.edu

• Automatic image annotation
• Dimension reduction
• Content-based image retrieval
• Feature selection
• Caltech 101
• Computer vision
• Artificial intelligence
• Artificial intelligence applications

Higher Ed Use Case File Sharing Made Simple On Campus Sharing information is fundamental to education, and technology should

Source URL: essentials.code42.com

• Cloud computing
• Data synchronization
• Online backup services
• Cloud applications
• Cloud storage
• Dropbox
• File sharing
• Computer file
• Accellion
• Inc.
• Computing
• Software
• File hosting

VISTA: VPO Interactive System for Tuning Applications PRASAD KULKARNI, WANKANG ZHAO, STEPHEN HINES, DAVID WHALLEY, XIN YUAN, ROBERT VAN ENGELEN and KYLE GALLIVAN Computer Science Department, Florida State University JASO

Source URL: www.cs.fsu.edu

• Compiler construction
• Compiler optimizations
• Programming language implementation
• Compiler
• Inline expansion
• Code generation
• Static single assignment form
• Program optimization
• Intermediate language
• Software engineering
• Computing
• Computer programming

DECOMPOSITION OF COMPLEX DECISION PROBLEMS WITH APPLICATIONS TO ELECTRICAL POWER SYSTEM PLAJrnING by

Source URL: www.cazalet.com

• Applied mathematics
• Algorithm
• Mathematical logic
• Theoretical computer science
• Decision problem
• John von Neumann
• Mathematical optimization
• Economic model
• Mathematical economics
• Mathematics
• Operations research
• Science

Security Applications of Formal Language Theory Dartmouth Computer Science Technical Report TR2011-709 Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina

Source URL: langsec.org

• Mathematics
• Deterministic pushdown automaton
• Parsing
• Computability
• Context-free grammar
• Context-free language
• Formal grammar
• Finite-state machine
• Recursive language
• Formal languages
• Theoretical computer science
• Theory of computation

Product Specifications 1.3L Slim PC Fanless Slim PC with Celeron processor for numerous applications D 4700XA is an engineering marvel of integration redesigned in

Source URL: www.shuttle.eu

• Video signal
• Standards organizations
• Personal computers
• PCI Express
• HDMI
• Nvidia Ion
• Digital Visual Interface
• Nettop
• Video card
• Computer hardware
• Television technology
• High-definition television

In 18th ACM Conference on Computer and Communications Security, Chicago, OctoberAutomated Black-Box Detection of Side-Channel Vulnerabilities in Web Applications Peter Chapman

Source URL: www.cs.virginia.edu

Ad hoc subgroup proofs for RFID Mike Burmester and Daniel Miller Department of Computer Science Florida State University, Tallahassee, Florida, U.S.A. Abstract. In many RFID applications it is necessary to be

Source URL: www.cs.fsu.edu